基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

符号检验在空战对抗仿真试验数据分析中的应用

针对如何提高仿真试验数据分析的科学性和可靠性,增强仿真工作者试验设计和统计分析的能力,首先简要介绍了符号检验法的基本原理、使用方法和使用策略.再以两型装备开展作战效能对比评估为背景,借助某型战术空战仿真系统,设计和进行了人在回路战术空战仿真试验,通过对仿真试验数据的分析,探讨了符号检验法的适用条件、应用方法和特点.最后通过算例证明,符号检验法是一种有效的对比型仿真试验数据的分析方法,具有较强的实用性和有效性.     

磁流变液的摩擦与润滑

采用四球摩擦磨损试验机考察了羰基铁-矿物油体系磁流变液和基础油摩擦系数随时间的变化曲线、磨斑直径,用扫描电镜观察了磨痕表面形貌.结果表明,与基础油相比,磁流变液的摩擦加剧,润滑性能降低,磁性颗粒是导致其润滑性能下降的首要原因;摩擦磨损机理主要是磨粒磨损,表现为犁沟效应.     

多弹作战中的任务重分配方法

突现任务重分配是具备了飞行中改变攻击目标能力的巡航导弹在作战中需要解决的重要问题。通过分析可控巡航导弹的特点及此类导弹在飞行中可能出现的突现任务类型,借鉴战斧巡航导弹的作战样式,建立了出现突现任务后的任务执行过程;提出了候选导弹、重瞄导弹的确定方法,并建立了各自的任务执行子模块;利用这些子模块,从一个新角度提出了基于逻辑判断的突现任务分配方法,可为可控巡航导弹的突现任务重分配系统设计提供参考。     

机载雷达电子对抗系统的仿真

从最近几场局部战争中可以看到,机载雷达对抗作为关键作战手段贯穿于战争的全过程,影响着战争的进程和结局。机载雷达对抗不仅仅只是作战的保障手段,它已经成为直接的军事打击力量。因此,对机载雷达电子对抗的研究,有利于取得战争的主动权。通过对雷达性能判据的推导和更新,箔条干扰模型的建立,进一步证明了在箔条干扰下,雷达探测性能明显降低。还通过对机载雷达电子对抗模拟仿真系统的研究,真实地模拟了机载雷达电子对抗作战平台,为培养电子对抗人才提供了很好的辅助工具。     

基于压制武器系统的自组网实现方法

根据压制武器系统网络的特点和未来战争对武器系统的要求,将自组网引入到了压制武器系统网络,介绍了其实现方法。该方法结合通用的自组网协议提出了网络的设计方案,采用了跨层的方法,主要设计链路层、网络层和传输层,网络实现采用模块化的设计方式。本网络具有一定的自组织、自恢复能力,具有更高的可靠性、灵活性,在一定的距离范围内能够满足网络通信的基本要求。     

“过渡衔接词语”在大学英语短文写作中的作用

短文写作是大学英语四级考试的一个重要组成部分 ,短文写作的成功与否将直接影响到是否通过四级。本文将从三个方面归纳、分析三段式短文中常用的过渡衔接词语在英语短文写作中的“闪光”点作用。旨在帮助学生认识过渡衔接词语的重要性 ,从而提高写作水平     

AVS解码中插值算法的硬件实现

在AVS标准中的插值算法采用分像素提高视频解码的清晰度,也是解码端主要的访存和计算瓶颈.为了得到分像素位置的像素值,需要参考其周围相邻的像素值;针对亮度和色度插值设计了一种基于流水线的并行架构,计算出不同位置上的分像素值,提高了解码系统的运算速度,与其他设计完成的解码器模块配合,在FPGA上实现AVS高清实时解码.     

边疆和谐社会建设视野下的民族问题探析

民族问题是影响边疆和谐社会构建的重要方面之一。民族问题对边疆安全的影响，其根源主要体现在两个方面：一是民族利益矛盾。二是民族宗教问题。     

模糊理论在多传感器信息融合中的应用

利用模糊控制理论能较好解决不确定性问题的特点,将测量信息融合问题融入模糊控制问题中来提高多传感器系统的测量质量;提出模糊融合模型,并介绍了将传感器信息作为模糊控制输入的模糊化问题,以及相应的模糊规则的建立、模糊推理和清晰化处理;提出以相交论域中心作为多传感器的事实来进行兼容度和激励强度的解算;最后进行相应的仿真说明及分析.